Lower Bound using Binary Search